Local Differentiability of Distance Functions
نویسندگان
چکیده
Recently Clarke, Stern and Wolenski characterized, in a Hilbert space, the closed subsets C for which the distance function dC is continuously differentiable everywhere on an open “tube” of uniform thickness around C. Here a corresponding local theory is developed for the property of dC being continuously differentiable outside of C on some neighborhood of a point x ∈ C. This is shown to be equivalent to the prox-regularity of C at x, which is a condition on normal vectors that is commonly fulfilled in variational analysis and has the advantage of being verifiable by calculation. Additional characterizations are provided in terms of dC being locally of class C 1+ or such that dC + σ| · |2 is convex around x for some σ > 0. Prox-regularity of C at x corresponds further to the normal cone mapping NC having a hypomonotone truncation around x, and leads to a formula for PC by way of NC . The local theory also yields new insights on the global level of the Clarke-Stern-Wolenski results, and on a property of sets introduced by Shapiro, as well as on the concept of sets with positive reach considered by Federer in the finite dimensional setting.
منابع مشابه
Essentially Smooth Lipschitz Functions
In this paper we address some of the most fundamental questions regarding the differentiability structure of locally Lipschitz functions defined on separable Banach spaces. For example, we examine the relationship between integrability, D-representability, and strict differentiability. In addition to this, we show that on any separable Banach space there is a significant family of locally Lipsc...
متن کاملThe Differentiability of Real Functions on Normed Linear Space Using Generalized Subgradients*
The modification of the Clarke generalized subdiNerentia1 due to Michel and Penot is a useful tool in determining differentiability properties for certain classes of real functions on a normed linear space. The Glteaux differentiability of any real function can be deduced from the GBteaux differentiability of the norm if the function has a directional derivative which attains a constant related...
متن کاملOn Differentiability of Volume Time Functions
We show differentiability of a class of Geroch’s volume functions on globally hyperbolic manifolds. Furthermore, we prove that every volume function satisfies a local anti-Lipschitz condition over causal curves, and that locally Lipschitz time functions which are locally antiLipschitz can be uniformly approximated by smooth time functions with timelike gradient. Finally, we prove that in stably...
متن کاملFractional differentiability of nowhere differentiable functions and dimensions.
Weierstrass's everywhere continuous but nowhere differentiable function is shown to be locally continuously fractionally differentiable everywhere for all orders below the "critical order" 2-s and not so for orders between 2-s and 1, where s, 1<s<2 is the box dimension of the graph of the function. This observation is consolidated in the general result showing a direct connection between local ...
متن کاملFirst order linear fuzzy dynamic equations on time scales
In this paper, we study the concept of generalized differentiability for fuzzy-valued functions on time scales. Usingthe derivative of the product of two functions, we provide solutions to first order linear fuzzy dynamic equations. Wepresent some examples to illustrate our results.
متن کاملDifferentiability and higher integrability results for local minimizers of splitting-type variational integrals in 2D with applications to nonlinear Hencky-materials
We prove higher integrability and differentiability results for local minimizers u: R2 ⊃ Ω → RM , M ≥ 1, of the splitting-type energy Ω[h1(|∂1u|) + h2(|∂2u|)] dx. Here h1, h2 are rather general N -functions and no relation between h1 and h2 is required. The methods also apply to local minimizers u: R2 ⊃ Ω → R2 of the functional ∫ Ω[h1(|div u|) + h2(|ε(u)|)] dx so that we can include some varian...
متن کامل